Generating Code Structures for Petri Net-Based Agent Interaction Protocols Using Net Components
نویسنده
چکیده
In this paper we introduce a straight forward approach for generating Petri Net code structures from AUML agent interaction protocol diagrams. This approach is based on the usage of net components which provide basic tasks and the structure for Petri Nets. Agent interaction protocol diagrams are used to model agent conversations on an abstract level. By mapping elements of the diagrams to net components we are able to generate code structures from the drawings. We provide tool support for this approach by combining a tool for net components with a tool for drawing agent interaction protocol diagrams. This combined tool is integrated into Renew (The Reference Net Workshop).
منابع مشابه
Formal Semantics for AUML Agent Interaction Protocol Diagrams
In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the usage of net components which provide basic tasks and the structure for Petri Nets. Agent interaction protocol diagrams are used to model agent conversations on an abstract level. By mapping elements of the diagrams to net comp...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملFormal Modeling of Temporal Interaction Aspects in Multi-Agent Systems
Multi-agent interaction protocols play a crucial role in multi-agent systems (MAS) development. They are used to manage and to control interactions among several autonomous agents in a MAS. Their formal specification, as well as their verification, constitute an essential task for the design of MAS applications. Several approaches have been proposed to formally represent agent interaction proto...
متن کاملA Colored Petri Net Based Approach for Multi-agent Interactions
In a multi-agent system (MAS), agent interactions are established through exchanging messages following interaction protocols. Most current agent interaction protocols are hard-coded within agents during the agent designing, and this feature greatly reduces the flexibility of the agent interactions. In this paper, we present a Colored Petri Nets (CPNs) based approach to form flexible interactio...
متن کامل